<body>
  Generic shell and shell history API.
</body>
